foo
bar

s0 [
  default: s0
  foo -> s1,
  bar -> s2
]

s1 []
s2 []

match : s1
f : s0, s1, s2
b : s0, s1, s2
